A proof-theoretic universal property of determiners
نویسندگان
چکیده
منابع مشابه
A proof-theoretic universal property of determiners
Determiners are the natural language (NL) analogue of quantifiers in logic. In model-theoretic semantics (MTS), their denotations are taken as binary relation over subsets of the domain of the model (see [3] for an extensive discussion). When combined with a noun-meaning, a subset of the domain, they give rise to determiner phrase (dp), which, according to the generalised quantifiers theory [1]...
متن کاملSubject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in Gödel or Mercury). In such systems, the typing is static, but it guarantees an operational property: if a program is “well-typed”, then all derivations starting in a “well-typed” query are again “well-typed”. This property has been called subject reduction. We show that this property can also be phrased as a property of the proof-t...
متن کاملDutch Children’s Interpretation of Quantificational Determiners: Must the Universal Property of Conservativity Be Learned?
Conservativity has been proposed as a universal property of natural language determiners, so it is possible that children apply it to quantifier interpretations from a young age. Using a picture verification task and sentences using the conservative determiner al (all) and the non-conservative quantificational adverb alleen (only), we tested whether or not children interpreted quantifiers conse...
متن کاملProof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A foundation of model-theoretic semantics (MTS) for natural language (NL), ever since Montague’s seminal work, is the typing of meanings, most often expressed in some variant of the simply-typed λ -calculus. Types are interpreted in what is known as Henkin models, whereby basic types τ are interpreted as denoting arbitrary sets Dτ , except for the type t (of sentential meanings), denoting the t...
متن کاملUniversal Approximator Property of the Space of Hyperbolic Tangent Functions
In this paper, first the space of hyperbolic tangent functions is introduced and then the universal approximator property of this space is proved. In fact, by using this space, any nonlinear continuous function can be uniformly approximated with any degree of accuracy. Also, as an application, this space of functions is utilized to design feedback control for a nonlinear dynamical system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2015
ISSN: 1570-8683
DOI: 10.1016/j.jal.2015.09.001